Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems

نویسندگان

چکیده

Discrete-time stochastic systems are an essential modeling tool for many engineering systems. We consider control that evolving over continuous spaces. For this class of models, methods the formal verification and synthesis strategies computationally hard generally rely on use approximate abstractions. Building abstractions, we compute with lower- upper-bounds satisfying unbounded temporal logic specifications. First, robust dynamic programming mappings abstract system introduced to solve problem. These yield a strategy unique lower bound satisfaction probability specifications is incurred approximation errors. Second, quantified, properties analyzed discussed. Finally, show implications these results state space linear This abstraction-based framework shown be able handle infinite-horizon properties. Approximation errors expressed as deviations in outputs models probabilistic transitions allowed quantified using simulation relations.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Robust Process Control by Dynamic Stochastic Programming

Unnecessarily conservative behavior of standard process control techniques can be avoided by stochastic programming models when the distribution of random distur­ bances is known. In an earlier study we have investigated such an approach for tank level constraints of a distillation process. Here we address techniques that have accelerated the numerical solution of the large and expensive stocha...

متن کامل

Application of stochastic programming for iron ore quality control

Stockpiling and blending play a major role in maintaining the quantity and quality of the raw materials fed into processing plants, especially the cement, iron ore and steel making, and coal-fired power generation industries that usually require a much uniformed feed. Due to the variable nature of such materials, they even come from the same source and the produced ores or concentrates are seld...

متن کامل

Stochastic Dynamic Programming with Markov Chains for Optimal Sustainable Control of the Forest Sector with Continuous Cover Forestry

We present a stochastic dynamic programming approach with Markov chains for optimal control of the forest sector. The forest is managed via continuous cover forestry and the complete system is sustainable. Forest industry production, logistic solutions and harvest levels are optimized based on the sequentially revealed states of the markets. Adaptive full system optimization is necessary for co...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IEEE Transactions on Automatic Control

سال: 2021

ISSN: ['0018-9286', '1558-2523', '2334-3303']

DOI: https://doi.org/10.1109/tac.2020.3010490